-
1 two-place predicate
Большой англо-русский и русско-английский словарь > two-place predicate
-
2 two-place predicate
Математика: двуместный предикат -
3 two-place predicate
English-Russian electronics dictionary > two-place predicate
-
4 two-place predicate
The New English-Russian Dictionary of Radio-electronics > two-place predicate
-
5 two-place predicate
мат. -
6 two-place
двуместный - two-place function - two-place functor - two-place operation - two-place operator - two-place predicate двухзначный( о числе)Большой англо-русский и русско-английский словарь > two-place
-
7 two-place
-
8 predicate
1) вчт предикат (1. пропозициональная логическая функция, выражение с неопределёнными терминами 2. приписываемый объекту признак; свойство; отношение 3. сказуемое 4. рема, ядро, заключительная часть актуального членения предложения 5. ключевое слово (напр. в языках программирования SQL и Prolog)) || предикатный, предикативный3) утверждение || утверждать•- predicate with free variable
- algebraic predicate
- analytical predicate
- associated predicates
- atomic predicate
- basic predicate
- binary predicate
- Boolean predicate
- bounded predicate
- complete predicate
- completely defined predicate
- completely representable predicate
- computability predicate
- decidable predicate
- definable predicate
- derived predicate
- disjunctively definable predicate
- dyadic predicate
- enumerable predicate
- equality predicate
- exhaustive predicate
- expressible predicate
- first-order predicate
- formula predicate
- fuzzy predicate
- generable predicate
- general recursive predicate
- higher-order predicate
- Horn predicate
- invariant predicate
- irreducible predicate
- logic predicate
- monadic predicate
- multi-place predicate
- n-argument predicate
- niladic predicate
- n-place predicate
- nth order predicate
- numerical predicate
- one-place predicate
- polynomial predicate
- prime predicate
- primitively recursive predicate
- recursive predicate
- representable predicate
- resolvable predicate
- sameness predicate
- semantic predicate
- strong predicate
- triadic predicate
- two-place predicate
- unary predicate
- undecidable predicate
- unitary predicate
- universal predicate -
9 predicate
1) вчт. предикат (1. пропозициональная логическая функция, выражение с неопределёнными терминами2. приписываемый объекту признак; свойство; отношение 3. сказуемое 4. рема, ядро, заключительная часть актуального членения предложения 5. ключевое слово (напр. в языках программирования SQL и Prolog)) || предикатный, предикативный3) утверждение || утверждать•- analytical predicate
- associated predicates
- atomic predicate
- basic predicate
- binary predicate
- Boolean predicate
- bounded predicate
- complete predicate
- completely defined predicate
- completely representable predicate
- computability predicate
- decidable predicate
- definable predicate
- derived predicate
- disjunctively definable predicate
- dyadic predicate
- enumerable predicate
- equality predicate
- exhaustive predicate
- expressible predicate
- first-order predicate
- formula predicate
- fuzzy predicate
- generable predicate
- general recursive predicate
- higher-order predicate
- Horn predicate
- invariant predicate
- irreducible predicate
- logic predicate
- monadic predicate
- multi-place predicate
- n-argument predicate
- niladic predicate
- n-place predicate
- nth order predicate
- numerical predicate
- one-place predicate
- polynomial predicate
- predicate of predicates
- predicate with free variable
- prime predicate
- primitively recursive predicate
- recursive predicate
- representable predicate
- resolvable predicate
- sameness predicate
- semantic predicate
- strong predicate
- triadic predicate
- two-place predicate
- unary predicate
- undecidable predicate
- unitary predicate
- universal predicateThe New English-Russian Dictionary of Radio-electronics > predicate
-
10 predicate
логика1) предикат, сказуемое || предикатный2) утверждение || утверждать• -
11 двуместный предикат
Большой англо-русский и русско-английский словарь > двуместный предикат
-
12 calculus
-
13 function
1) функция, действие || функционировать; действовать- essential functions - routine function - safety-related functions2) функциональное назначение; роль- circuit function - intrinsic function - metering function - primary function - robot function - planning function - service function - support function4) функциональный узел ( машины)5) матем. функциональная зависимость, функция- absolutely additive function - absolutely bounded function - absolutely continuous function - absolutely integrable function - absolutely monotone function - absolutely summable function - absolutely symmetric function - almost complex function - almost continuous function - almost convex function - almost everywhere defined function - almost everywhere finite function - almost invariant function - almost periodic function - almost recursive function - almost separably-valued function - almost separating function - almost universal function - analytically independent function - analytically representable function - approximately differentiable function - asymptotically differentiable function - asymptotically finite function - asymptotically uniformly optimal function - bounded below function - cellwise continuous function - circumferentially mean p-valent function - comparison function - complementary error function - complete analytic function - completely additive function - completely computable function - completely monotone function - completely multiplicative function - completely productive function - completely subadditive function - completely symmetrical function - completely undefined function - complex hyperbolic function - conditional risk function - countably multiplicative function - countably valued function - covariant function - cumulative distribution function - cumulative frequency function - deficiency function - double limit function - doubly periodic function - doubly recursive function - effectively computable function - effectively constant function - effectively decidable function - effectively variable function - elementarily symmetric function - entire function of maximum type - entire function of mean type - entire function of potential type - entire function of zero type - entire rational function - essentially increasing function - essentially integrable function - essentially real function - essentially smooth function - everywhere differentiable function - everywhere smooth function - expansible function - explicitly definable function - exponentially convex function - exponentially decreasing function - exponentially increasing function - exponentially multiplicative function - exponentially vanishing function - finitely mean valent function - finitely measurable function - function of appropriate behavior - function of bounded characteristic - function of bounded type - function of bounded variation - function of complex variable - function of exponential type - function of finite genus - function of finite variation - function of fractional order - function of infinite type - function of integral order - function of maximal type - function of minimal type - function of mixed variables - function of normal type - function of number theory - function of one variable - function of rapid descent - function of rapid growth - function of real variable - general universal function - geometric carrier function - implicitly definable function - incomplete dibeta function - incomplete gamma function - incomplete tribeta function - incompletely defined function - inductively defined function - inductively integrable function - infinitely divisible function - infinitely many-valued function - integral logarithmic function - inverse trigonometric function - inverted beta function - iterative function - joint correlation function - joint density function - linearly separable function - locally bounded function - locally constant function - locally holomorphic function - locally homogeneous function - locally integrable function - locally negligible function - locally regular function - locally summable function - logarithmic generating function - logarithmic integral function - logarithmically infinite function - logarithmically plurisubharmonic function - logarithmically subharmonic function - lower semicontinuous function - monotone non-decreasing function - monotone non-increasing function - multiply periodic function - multiply recursive function - negative definite function - negative infinite function - nontangentially bounded function - normalized function - normed function - nowhere continuous function - nowhere differentiable function - nowhere monotonic function - n-times differentiable function - n-tuply periodic function - numeralwise expressible function - numeralwise representable function - numerical function - numerically valued function - oblate spheroidal function - operating characteristic function - optimal policy function - parametrically definable function - partially symmetric function - piecewise constant function - piecewise continuously differentiable function - piecewise linear function - piecewise monotonic function - piecewise polynomial function - piecewise quadratic function - piecewise regular function - piecewise smooth function - pointwise approximated function - positive homogeneous function - positive infinite function - positive monotone function - positive monotonic function - positive semidefinite function - potentially calculable function - potentially recursive function - power series function - probability generating function - quadratically summable function - rapidly damped function - rapidly decreasing function - rapidly oscillatory function - recursively continuous function - recursively convergent function - recursively defined function - recursively differentiable function - recursively divergent function - recursively extensible function - relative distribution function - relative frequency function - representing function - reproducing kernel function - residual function - residue function - scalarwise integrable function - scalarwise measurable function - sectionally smooth function - simply periodic function - singly recursive function - slowly increasing function - slowly oscillating function - slowly varying function - smoothly varying function - solid spherical harmonic function - solid zonal harmonic function - steadily increasing function - stopped random function - strictly convex function - strictly decreasing function - strictly increasing function - strictly integrable function - strictly monotone function - strongly differentiable function - strongly holomorphic function - strongly integrable function - strongly measurable function - strongly plurisubharmonic function - totally additive function - totally continuous function - totally measurable function - totally multiplicative function - totally positive function - triangular function - uniformly best decision function - uniformly bounded function - uniformly definable function - uniformly differentiable function - uniformly homotopic function - uniformly integrable function - uniformly limited function - uniformly measurable function - uniformly smooth function - unit step function - unitary divisor function - upper measurable function - upper semicontinuous function - weakly analytic function - weakly continuous function - weakly differentiable function - weakly holomorphic function - weakly measurable function - weakly singular function - weighted random functiondomain of a function — область определения функции, область изменения независимой переменной
См. также в других словарях:
two-place predicate — See n place predicate … Philosophy dictionary
n-place predicate — A predicate thought of as an open sentence that requires n variables to be either bound or substituted by a referring expression to make a closed sentence. Thus ‘ x is the daughter of y ’ is a two place predicate, that can be turned into a… … Philosophy dictionary
Monadic predicate calculus — In logic, the monadic predicate calculus is the fragment of predicate calculus in which all predicate letters are monadic (that is, they take only one argument), and there are no function letters. All atomic formulae have the form P(x), where P… … Wikipedia
formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction the abstract study of propositions, statements, or assertively used … Universalium
Nominative–accusative language — Nominative accusative alignment Linguistic typology Morphological Isolating Synthetic … Wikipedia
Identity (philosophy) — In philosophy, identity, from Latin: identitas (“sameness”), is the relation each thing bears just to itself. [1] According to Leibniz s law two things sharing every attribute are not only similar, but are the same thing. The concept of sameness… … Wikipedia
logic, history of — Introduction the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic There was a medieval tradition according to which the Greek philosopher … Universalium
First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… … Wikipedia
Relational model — The relational model for database management is a database model based on first order predicate logic, first formulated and proposed in 1969 by Edgar Codd. [ Derivability, Redundancy, and Consistency of Relations Stored in Large Data Banks , E.F … Wikipedia
Finitary relation — This article sets out the set theoretic notion of relation. For a more elementary point of view, see Binary relation. For a combinatorial viewpoint, see Theory of relations. For other uses, see Relation (disambiguation). In set theory and logic,… … Wikipedia
Quantification — has two distinct meanings.In mathematics and empirical science, it refers to human acts, known as counting and measuring that map human sense observations and experiences into members of some set of numbers. Quantification in this sense is… … Wikipedia